#include <stdio.h>

int main(void)
{
    int val = 10;
    printf("val:%d\r\n", val);
    return 0;
}